“如果二角对顶，那么二角相等”可变换为等值于它的命题是（）。

• A、如果二角不对顶，那么二角不相等
• B、只有二角相等，二角才对顶
• C、如果二角不相等，那么二角对顶
• D、只有二角对顶，二角才相等

论证形式无效的有（）。

• A、（﹁p→q），（r→﹁s），（﹁q∨s）├p∨﹁r
• B、﹁（p∧q），﹁p├q
• C、（﹁p→r），（q→﹁s），（﹁s→r）├﹁p→r
• D、SIP├﹁PES
• E、SOP├POS

在侦破某金库的被盗案时，调查后发现该金库五名工作人员进入金库的情况如下：
（1）当A进去时，B也进去。
（2）D或E至少有一人进去了。
（3）B和C有且只有一人能进去。
（4）当且仅当D进去时C才进去。
（5）如果E进去则A和D也进去。
（6）有证据表明，C进了金库。
试问这五名工作人员哪几人进入了金库？写出推导过程。